Skip to content

Conversation

@fullerdj
Copy link
Contributor

Cornelius -> Cornelis

@github-actions github-actions bot added this to the v5.0.6 milestone Aug 15, 2024
@github-actions
Copy link

Hello! The Git Commit Checker CI bot found a few problems with this PR:

41122c4: docs/../ofi.rst: Correct typographical error

  • check_cherry_pick: does not include a cherry pick message (did you need to bot:notacherrypick?)

Please fix these problems and, if necessary, force-push new commits back up to the PR branch. Thanks!

Cornelius -> Cornelis

Signed-off-by: Douglas Fuller <[email protected]>
(cherry picked from commit caa54f0)
@jsquyres
Copy link
Member

jsquyres commented Aug 15, 2024

@fullerdj Can you include the (cherry picked from ...) line in your commit message? It helps us track what we've brought from main and what we haven't.

You can do it via git cherry pick -x ... or add it manually to the commit message.

Thanks!

EDIT: Disregard... you already did it. 😄

@wenduwan wenduwan merged commit 01e787b into open-mpi:v5.0.x Aug 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants